-
1 синтаксическое исчисление
Большой англо-русский и русско-английский словарь > синтаксическое исчисление
-
2 nonassociative
неассоциативный nonassociative skew field ≈ неассоциативное тело nonassociative syntactic calculus ≈ неассоциативное синтаксическое исчисление - nonassociative algebra - nonassociative field - nonassociative ring - nonassociative system - nonassociative wordБольшой англо-русский и русско-английский словарь > nonassociative
-
3 syntactic calculus
Большой англо-русский и русско-английский словарь > syntactic calculus
-
4 nonassociative syntactic calculus
Математика: неассоциативное синтаксическое исчислениеУниверсальный англо-русский словарь > nonassociative syntactic calculus
-
5 syntactic calculus
Математика: синтаксическое исчисление -
6 nonassociative syntactic calculus
English-Russian scientific dictionary > nonassociative syntactic calculus
-
7 syntactic calculus
См. также в других словарях:
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ФАКТИЧЕСКАЯ ИСТИННОСТЬ — (в л о г и к е) – истинность предложения (суждения, высказывания), обусловленная, в отличие от т.н. логич. истинности, содержанием этого предложения. Иначе говоря, предложение является фактически истинным, когда его истинность зависит от значений … Философская энциклопедия
Синтаксис — I Синтаксис (от греч. sýntaxis построение, порядок) в логике, описание и изучение чисто формальной части формализованного языка (См. Формализованный язык), т. е. неинтерпретированного исчисления (См. Исчисление) (в отличие от логической… … Большая советская энциклопедия
ВЫСКАЗЫВАНИЕ — грамматически правильное повествовательное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно различающихся между собой. Прежде всего это понятие дескриптивного, или о п и с а тельного,… … Философская энциклопедия
Число — I Число важнейшее математическое понятие. Возникнув в простейшем виде ещё в первобытном обществе, понятие Ч. изменялось на протяжении веков, постепенно обогащаясь содержанием по мере расширения сферы человеческой деятельности и связанного … Большая советская энциклопедия
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
Функция (математика) — У этого термина существуют и другие значения, см. функция. Запрос «Отображение» перенаправляется сюда; см. также другие значения … Википедия